Semenov A. A., Bulavintsev V.G. «GPU-based implementation of DPLL algorithm with limited non-chronological backtracking» // 2013. №6 (Приложение) C.111-112
Semenov A. A., Bulavintsev V.G. «GPU-based implementation of DPLL algorithm with limited non-chronological backtracking» // 2013. №6 C.111-112
